1. Can mathematics be proved consistent? :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : G?del's theorem ;
2. Creating modern probability :
پدیدآورنده : Jan von Plato.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Probabilities-- History.
رده :
QA273
.
V66
1994eb
3. Creating modern probability :
پدیدآورنده : Jan von Plato.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Probabilities-- History.
رده :
QA273
.
V66
1994eb
4. Creating modern probability : its mathematics, physics, and philosophy in historical perspective
پدیدآورنده : Von Plato, Jan
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : History ، Probabilities
رده :
QA
273
.
V66C7
5. Elements of Logical Reasoning
پدیدآورنده : / Jan von Plato
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Symbolic and mathematical,Reasoning,MATHEMATICS -- Logic., bisacsh,منطق ریاضی,استدلال,ریاضیات -- منطق
رده :
QA9
.
V66
2013
6. Elements of logical reasoning /
پدیدآورنده : Jan von Plato
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical,Reasoning
رده :
QA9
.
V66
2013
7. Proof analysis :
پدیدآورنده : Sara Negri, Jan von Plato
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Proof theory
رده :
QA9
.
54
.
N438
2011
8. Proof analysis
پدیدآورنده : / Sara Negri, Jan von Plato
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Proof theory
رده :
E-BOOK
9. Saved from the Cellar
پدیدآورنده : \ Jan von Plato
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع :
رده :
E-Book
,
10. Structural proof theory
پدیدآورنده : Negri, Sara
کتابخانه: Central Library and Documentation Center (Semnan)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
N44
2001
11. Structural proof theory
پدیدآورنده : Negri, Sara, 7691-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
N44
12. Structural proof theory
پدیدآورنده : Negri, Sara, 7691-
کتابخانه: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
N4S78
13. Structural proof theory
پدیدآورنده : Negri, Sara, Sara Negri, Jan von Plato ; with an appendix by Aarne Ranta
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
N4S8
14. Structural proof theory
پدیدآورنده : Negri, Sara
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
N44
2001
15. The development of modern logic
پدیدآورنده : edited by Leila Haaparanta
کتابخانه: Library of Mofid University (Qom)
موضوع : History ، Logic
رده :
BC15
.
D48
2009
